System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
551	Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Mathematics Type constructor Recursive data type Type system Turn Ordinal number Curry–Howard correspondence Type theory Mathematical logic Data types
552	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory
553	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Aspect-oriented software development Aspect-oriented programming Data types Functional languages Pointcut Generalized algebraic data type Standard ML Type system Software engineering Software development Computing
554	Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:03 ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
555	Typing Copyless Message Passing Viviana Bono Chiara Messa Luca Padovani Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:49:22 Type theory D Type system Message passing Bono ALGOL 68 V Computing Software engineering Programming language theory
556	Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Software engineering Symbol Recursive data type Constructor Turn Type system Binding Ordinal number Type theory Mathematical logic Data types
557	F E AT U R E S Delphi XE ® Feature Matrix Add to Reading List Source URL: www.ibase.ru Language: English - Date: 2011-12-23 02:26:26 Pascal Cross-platform software Delphi programming language Embarcadero Delphi X Window System InterBase C++Builder Software Computing Integrated development environments
558	An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß⇤ Christian Wirth† Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2015-03-15 13:53:31 Object-oriented programming Data types Cross-platform software Method Scripting languages JavaScript Object Type system Property Software engineering Computing Computer programming
559	JideFX Common Layer Developer Guide Table of Contents PURPOSE OF THIS DOCUMENT ................................................................................................................. 2 WHY USING COMPONENTS .... Add to Reading List Source URL: www.jidesoft.com Language: English - Date: 2013-06-13 19:14:43 System software Java platform JavaFX Control key Windows Registry Swing Home key Computing Software Java programming language
560	OPL ADVANCED TOPICS Many of the subjects covered in this document may provide benefits for all levels of programmers. However, the subjects become progressively more technical. This User Guide cannot cover every OPL keyw Add to Reading List Source URL: www.bioeddie.co.uk Language: English - Date: 2007-10-24 23:48:54 Software Open Programming Language Psion Series 3 Folder Computer file Directory structure Rmdir File system Long filename Computing Computer architecture Symbian OS

UPDATE